PAL[3]

An object-oriented Prolog-like language.

"Inheritance Hierarchy Mechanism in Prolog", K. Akama, Proceedings of Logic Programming '86, Lecture Notes in Computer Science 264, Springer-Verlag, 1986, pp.12-21.